| Bill Roscoe | |
|---|---|
| Born | 1956 Dundee, Scotland |
| Citizenship | United Kingdom |
| Nationality | Scottish |
| Fields | Computer science |
| Institutions | Oxford University |
| Alma mater | Oxford University |
| Doctoral advisor | C. A. R. Hoare |
| Known for | Communicating Sequential Processes |
A. William "Bill" Roscoe is a Scottish computer scientist. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science. He is also a Fellow of University College, Oxford.
Professor Roscoe has undertaken important theoretical research work in the area of concurrency,[1] in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.[2] He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.